Modelling work distribution mechanisms using Colored Petri Nets
نویسندگان
چکیده
منابع مشابه
Modeling Work Distribution Mechanisms Using Colored Petri Nets
Workflow management systems support business processes and are driven by their models. These models cover different perspectives including the control-flow, resource, and data perspectives. This paper focuses on the resource perspective, i.e., the way the system distributes work based on the structure of the organization and capabilities/qualifications of people. Contemporary workflow managemen...
متن کاملUsing Colored Petri Nets for Conversation Modeling
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational model it uses. Finite State Machines, used heavily to date for this purpose, are not su cient for complex agent interactions requiring a notion of concurrency. We propose the use of Colored Petri Nets as a model underlyin...
متن کاملevaluating adaptability of set protocols using colored petri nets
secure electronic transaction (set) protocol is an open protocol, which has the potential to emerge as a powerful tool in securing of electronic transactions. the quality of a design of an ecommerce protocols has a great influence on achieving non-functional requirements (nfrs) to the system. an increasingly important non-functional attribute of complex software systems is adaptability. softwar...
متن کاملModelling Opacity Using Petri Nets
We consider opacity as a property of the local states of the secure (or high-level) part of the system, based on the observation of the local states of a low-level part of the system as well as actions. We propose a Petri net modelling technique which allows one to specify different information flow properties, using suitably defined observations of system behaviour. We then discuss expressiven...
متن کاملModelling Gradients using Petri Nets
Motivated by the graded posteriorization during the AP axis development in the frog Xenopus laevis, we propose an abstract Petri net model for the formation of a gradient of proteins in a chain of cells.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2007
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-007-0036-z